%Por: Roberto Rama
%Enunciado: Devuelve una nueva trivia con keywords ks, preguntas ps, sin
% participantes ni ganadores.
\begin{problema}{nuevaT}{ks: [Keyword], ps: [Pregunta]}{Trivia}
	\requiere[noEsTrivialGanar]{\longitud{ps}>0}
	\requiere[preguntasEntranEnSMS]{(\forall p \selec ps) 0 < \longitud{texto(p)}
	\wedge 160 \geq \longitud{texto(p)}}
	\requiere[noHayPreguntasRepetidas]{(\forall i,j \selec
	[0..\longitud{ps}), i \not= j) texto(ps_i) \not= texto(ps_j)}
	\requiere[maximoPuntaje]{\sum{\comp{puntaje(p)}{p \selec ps}} \leq 999}
	\requiere[keywordsSinEspacios]{(\forall k \selec ks) sinEspacios(k)}
	\medskip
	\asegura{mismos(keywords(result), ks)} 
	\asegura{preguntas(result) == ps}
	\asegura{\longitud{participantes(result)} == 0}
	\asegura{\longitud{ganadores(result)} == 0}
\end{problema}